Blar i HVL Open på forfatter "Bezirgiannis, Nikolaos"
-
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth (Journal article; Peer reviewed, 2019)This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification ...